predicates and quantifiers